Issue1428a.agda:31,5-10
Not in scope:
  FIXME at Issue1428a.agda:31,5-10
when scope checking FIXME
